📐 Error Bounds

Numerical Analysis, Floating Point, Precision Guarantees, Computational Mathematics

Derek Elkins: Arithmetic Functions
hedonisticlearning.com·7h
⚔️Lean Theorem
When AI optimizations miss the mark: A case study in array shape calculation
questdb.com·1d·
Discuss: Hacker News, r/programming
⚡Performance Mythology
Optimizing multiprecision LLL in FLINT
fredrikj.net·2d
🧮Algebraic Datatypes
CRYSTALS - The Gently Introduction
dev.to·1d·
Discuss: DEV
⚗️Algebraic Coding
UnderColor’s spiral challenge from 1984 – part 3
subethasoftware.com·1d
📺VT100
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·13h
🔗Tailscale
how to decide on the sequence of computable numbers
academia.edu·2d·
Discuss: Hacker News, r/programming
🎞️Tape Combinatorics
Sysbench for MySQL 5.6 thru 9.4 on a small server
smalldatum.blogspot.com·1d·
Discuss: smalldatum.blogspot.com
🦀Rusty Databases
Software convergence
underlap.org·1d
🔢Denotational Semantics
Optimal Unpredictable Control for Linear Systems
arxiv.org·2d
🌊Stream Ciphers
Algebra 2 Problems of the Day (Algebra 2 Regents, August 2024 Part III)
mrburkemath.blogspot.com·2d·
Discuss: www.blogger.com
📐Linear Algebra
Compute Where It Counts: a trainable LLM sparsity enabling 4x CPU speed
crystalai.org·2d·
Discuss: Hacker News
🌊Streaming Algorithms
Busy Beaver Hunters Reach Numbers That Overwhelm Ordinary Math
quantamagazine.org·16h·
Discuss: Hacker News, Hacker News
🎞️Tape Combinatorics
Cryptography for the Everyday Developer: Understanding AES - The Advanced Encryption Standard
sookocheff.com·15h
🔐Cryptographic Archaeology
Learning Decision Process Theory with a Wolfram Language Toolkit
blog.wolfram.com·11h
🔲Cellular Automata
numexpr: fast numerical array expression evaluator for Python
github.com·1d·
Discuss: Hacker News
🚀SIMD Parsing
WeakC4, or Distilling an Emergent Object
2swap.github.io·6h·
Discuss: Hacker News
🔲Cellular Automata
You could have invented CuTe hierarchical layout (but maybe not the rest of it?)
blog.ezyang.com·23h·
Discuss: blog.ezyang.com
⟷Bidirectional Programming
Scheme Basics
courses.cs.washington.edu·18h·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
Quantifying Thermal Gradient Impact on 40-Layer Stack Die Reliability through Bayesian Network Analysis
dev.to·13h·
Discuss: DEV
⚙️Modern Assembly